Integrating computer log files for process mining: a genetic algorithm inspired technique

Process mining techniques are applied to single computer log files. But many processes are supported by different software tools and are by consequence recorded into multiple log files. Therefore it would be interesting to find a way to automatically combine such a set of log files for one process. In this paper we describe a technique for merging log files based on a genetic algorithm. We show with a generated test case that this technique works and we give an extended overview of which research is needed to optimise and validate this technique

CARLA-Loc: Synthetic SLAM Dataset with Full-stack Sensor Setup in Challenging Weather and Dynamic Environments

The robustness of SLAM algorithms in challenging environmental conditions is crucial for autonomous driving, but the impact of these conditions are unknown while given the difficulty of arbitrarily changing the relevant environmental parameters of the same environment in the real world. Therefore, we propose CARLA-Loc, a synthetic dataset of challenging and dynamic environments built on CARLA simulator. We integrate multiple sensors into the dataset with strict calibration, synchronization and precise timestamping. 7 maps and 42 sequences are posed in our dataset with different dynamic levels and weather conditions. Objects in both stereo images and point clouds are well-segmented with their class labels. We evaluate 5 visual-based and 4 LiDAR-based approaches on varies sequences and analyze the effect of challenging environmental factors on the localization accuracy, showing the applicability of proposed dataset for validating SLAM algorithms

DriveSceneGen: Generating Diverse and Realistic Driving Scenarios from Scratch

Realistic and diverse traffic scenarios in large quantities are crucial for the development and validation of autonomous driving systems. However, owing to numerous difficulties in the data collection process and the reliance on intensive annotations, real-world datasets lack sufficient quantity and diversity to support the increasing demand for data. This work introduces DriveSceneGen, a data-driven driving scenario generation method that learns from the real-world driving dataset and generates entire dynamic driving scenarios from scratch. DriveSceneGen is able to generate novel driving scenarios that align with real-world data distributions with high fidelity and diversity. Experimental results on 5k generated scenarios highlight the generation quality, diversity, and scalability compared to real-world datasets. To the best of our knowledge, DriveSceneGen is the first method that generates novel driving scenarios involving both static map elements and dynamic traffic participants from scratch.Comment: 7 pages, 5 figures, 2 table

Discovering duplicate tasks in transition systems for the simplification of process models

This work presents a set of methods to improve the understandability of process models. Traditionally, simplification methods trade off quality metrics, such as fitness or precision. Conversely, the methods proposed in this paper produce simplified models while preserving or even increasing fidelity metrics. The first problem addressed in the paper is the discovery of duplicate tasks. A new method is proposed that avoids overfitting by working on the transition system generated by the log. The method is able to discover duplicate tasks even in the presence of concurrency and choice. The second problem is the structural simplification of the model by identifying optional and repetitive tasks. The tasks are substituted by annotated events that allow the removal of silent tasks and reduce the complexity of the model. An important feature of the methods proposed in this paper is that they are independent from the actual miner used for process discovery.Peer ReviewedPostprint (author's final draft

Magnetic phase diagram of the Hubbard model

The competition between commensurate and incommensurate spin-density-wave phases in the infinite-dimensional single-band Hubbard model is examined with quantum Monte Carlo simulation and strong and weak coupling approximations. Quantum fluctuations modify the weak-coupling phase diagram by factors of order unity and produce remarkable agreement with the quantum Monte Carlo data, but strong-coupling theories (that map onto effective Falicov-Kimball models) display pathological behavior. The single-band model can be used to describe much of the experimental data in Cr and its dilute alloys with V and Mn.Comment: 12 pages plus 3 uuencoded postscript figures, ReVTe

Spin Wave Instability of Itinerant Ferromagnet

We show variationally that instability of the ferromagnetic state in the Hubbard model is largely controlled by softening of a long-wavelength spin-wave excitation, except in the over-doped strong-coupling region where the individual-particle excitation becomes unstable first. A similar conclusion is drawn also for the double exchange ferromagnet. Generally the spin-wave instability may be regarded as a precursor of the metal-insulator transition.Comment: 11 pages, 8 figure

Genome-wide microRNA and gene analysis of mesenchymal stem cell chondrogenesis identifies an essential role and multiple targets for miR-140-5p

microRNAs (miRNAs) are abundantly expressed in development where they are critical determinants of cell differentiation and phenotype. Accordingly miRNAs are essential for normal skeletal development and chondrogenesis in particular. However, the question of which miRNAs are specific to the chondrocyte phenotype has not been fully addressed. Using microarray analysis of miRNA expression during mesenchymal stem cell chondrogenic differentiation and detailed examination of the role of essential differentiation factors, such as SOX9, TGF-b, and the cell condensation phase, we characterize the repertoire of specific miRNAs involved in chondrocyte development, highlighting in particular miR-140 and miR-455. Further with the use of mRNA microarray data we integrate miRNA expression and mRNA expression during chondrogenesis to underline the particular importance of miR-140, especially the -5p strand. We provide a detailed identification and validation of direct targets of miR-140-5p in both chondrogenesis and adult chondrocytes with the use of microarray and 30 UTR analysis. This emphasizes the diverse array of targets and pathways regulated by miR-140-5p. We are also able to confirm previous experimentally identified targets but, additionally, identify a novel positive regulation of the Wnt signaling pathway by miR-140-5p. Wnt signaling has a complex role in chondrogenesis and skeletal development and these findings illustrate a previously unidentified role for miR-140-5p in regulation of Wnt signaling in these processes. Together these developments further highlight the role of miRNAs during chondrogenesis to improve our understanding of chondrocyte development and guide cartilage tissue engineering

Insulating phases of the infinite-dimensional Hubbard model

A theory is developed for the T=0 Mott-Hubbard insulating phases of the infinite-dimensional Hubbard model at half-filling, including both the antiferromagnetic (AF) and paramagnetic (P) insulators. Local moments are introduced explicitly from the outset, enabling ready identification of the dominant low energy scales for insulating spin- flip excitations. Dynamical coupling of single-particle processes to the spin-flip excitations leads to a renormalized self-consistent description of the single-particle propagators that is shown to be asymptotically exact in strong coupling, for both the AF and P phases. For the AF case, the resultant theory is applicable over the entire U-range, and is discussed in some detail. For the P phase, we consider in particular the destruction of the Mott insulator, the resultant critical behaviour of which is found to stem inherently from proper inclusion of the spin-flip excitations.Comment: 13 pages Revtex, 12 postscript figure

A partition functional and thermodynamic properties of the infinite-dimensional Hubbard model

An approximate partition functional is derived for the infinite-dimensional Hubbard model. This functional naturally includes the exact solution of the Falicov-Kimball model as a special case, and is exact in the uncorrelated and atomic limits. It explicitly keeps spin-symmetry. For the case of the Lorentzian density of states, we find that the Luttinger theorem is satisfied at zero temperature. The susceptibility crosses over smoothly from that expected for an uncorrelated state with antiferromagnetic fluctuations at high temperature to a correlated state at low temperature via a Kondo-type anomaly at a characteristic temperature $T^\star$. We attribute this anomaly to the appearance of the Hubbard pseudo-gap. The specific heat also shows a peak near $T^\star$. The resistivity goes to zero at zero temperature, in contrast to other approximations, rises sharply around $T^\star$ and has a rough linear temperature dependence above $T^\star$.Comment: 18 pages, 6 figures upon request, latex, (to appear in Phys. Rev. B

Antiferromagnetism in the Exact Ground State of the Half Filled Hubbard Model on the Complete-Bipartite Graph

As a prototype model of antiferromagnetism, we propose a repulsive Hubbard Hamiltonian defined on a graph \L={\cal A}\cup{\cal B} with ${\cal A}\cap {\cal B}=\emptyset$ and bonds connecting any element of ${\cal A}$ with all the elements of ${\cal B}$. Since all the hopping matrix elements associated with each bond are equal, the model is invariant under an arbitrary permutation of the ${\cal A}$-sites and/or of the ${\cal B}$-sites. This is the Hubbard model defined on the so called $(N_{A},N_{B})$-complete-bipartite graph, $N_{A}$ ($N_{B}$) being the number of elements in ${\cal A}$ (${\cal B}$). In this paper we analytically find the {\it exact} ground state for $N_{A}=N_{B}=N$ at half filling for any $N$; the repulsion has a maximum at a critical $N$-dependent value of the on-site Hubbard $U$. The wave function and the energy of the unique, singlet ground state assume a particularly elegant form for N \ra \inf. We also calculate the spin-spin correlation function and show that the ground state exhibits an antiferromagnetic order for any non-zero $U$ even in the thermodynamic limit. We are aware of no previous explicit analytic example of an antiferromagnetic ground state in a Hubbard-like model of itinerant electrons. The kinetic term induces non-trivial correlations among the particles and an antiparallel spin configuration in the two sublattices comes to be energetically favoured at zero Temperature. On the other hand, if the thermodynamic limit is taken and then zero Temperature is approached, a paramagnetic behavior results. The thermodynamic limit does not commute with the zero-Temperature limit, and this fact can be made explicit by the analytic solutions.Comment: 19 pages, 5 figures .ep